COM2003 Automata, Logic and Computation (20 credits)

Year Running: 2015/2016

Credit level: F5

Excluded

COM263

Description

This module introduces the mathematical and logical foundations and tools for modelling and analysing computing systems, including state machines, formal languages, logics, proof systems, and proof search procedures.

Reading List

Please click here for reading list.

Teaching Methods

Delivery Type	Hours
Independent	124.0
Lab	6.0
Lecture	48.0
Problem Solving	18.0

Methods of assessment

Assessment Type	Duration	% of formal assessment	Semester
Exam	4.0	100 %

Teaching methods and assessment displayed on this page are indicative for 2023-24.